|
|
Registro Completo |
Biblioteca(s): |
Embrapa Agricultura Digital. |
Data corrente: |
12/06/1996 |
Data da última atualização: |
24/03/2011 |
Autoria: |
LIMA, J. M. de B.; SAMPAIO, A. |
Afiliação: |
JOSÉ MARCONI DE B. LIMA, DI/UFPE; AUGUSTO SAMPAIO, DI/UFPE. |
Título: |
Um método de desenvolvimento de programas para OBJ3. |
Ano de publicação: |
1995 |
Fonte/Imprenta: |
In: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 22.; CONFERÊNCIA LATINO-AMERICANA, 21., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática, 1995. |
Volume: |
v.2 |
Páginas: |
p. 1051-1062. |
Idioma: |
Português |
Conteúdo: |
Apresentamos um método de desenvolvimento de programas, baseado em um método já existente para EML, utilizando os recursos de OBJ3 - uma linguagem declarativa utilizada principalmente para especificação e prototipagem. Inicialmente, revisamos alguns conceitos de EML, para então apresentarmos OBJ3 e o método desenvolvido. Com o objetivo de ilustrarmos o método proposto, apresentamos um estudo de caso: a especificação e o desenvolvimento de uma tabela de símbolos. |
Palavras-Chave: |
Computer programs; Desenvolvimento de programas para computação; Linguagem EML; Recursos de OBJ3. |
Thesaurus Nal: |
Computer science. |
Categoria do assunto: |
X Pesquisa, Tecnologia e Engenharia |
Marc: |
LEADER 01199naa a2200217 a 4500 001 1002689 005 2011-03-24 008 1995 bl uuuu u00u1 u #d 100 1 $aLIMA, J. M. de B. 245 $aUm método de desenvolvimento de programas para OBJ3. 260 $c1995 300 $ap. 1051-1062. v.2 490 $vv.2 520 $aApresentamos um método de desenvolvimento de programas, baseado em um método já existente para EML, utilizando os recursos de OBJ3 - uma linguagem declarativa utilizada principalmente para especificação e prototipagem. Inicialmente, revisamos alguns conceitos de EML, para então apresentarmos OBJ3 e o método desenvolvido. Com o objetivo de ilustrarmos o método proposto, apresentamos um estudo de caso: a especificação e o desenvolvimento de uma tabela de símbolos. 650 $aComputer science 653 $aComputer programs 653 $aDesenvolvimento de programas para computação 653 $aLinguagem EML 653 $aRecursos de OBJ3 700 1 $aSAMPAIO, A. 773 $tIn: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 22.; CONFERÊNCIA LATINO-AMERICANA, 21., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática, 1995.
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
Registros recuperados : 29 | |
12. | | RIZZARDI, M. A.; FLECK, N. G.; RIBOLDI, J.; AGOSTINETTO, D. Ajuste de modelo para quantificar o efeito de plantas daninhas e época de semeadura no rendimento de soja. Pesquisa Agropecuária Brasileira, Brasília, DF, v. 38, n. 1, p. 35-43, jan. 2003 Título e inglês: Adjustment of model to quantify the effect of weeds and sowing time on soybean yield.Biblioteca(s): Embrapa Unidades Centrais. |
| |
19. | | BALBINOT JUNIOR, A. A.; FLECK, N. G.; MENEZES, V. G.; AGOSTINETTO, D. Competitividade de cultivares de arroz irrigado com cultivar simuladora de arroz-vermelho. Pesquisa Agropecuária Brasileira, Brasília, DF, v. 38, n. 1, p. 53-59, jan. 2003 Título em inglês: Competitiveness of flooded rice cultivars with a red rice simulating cultivar.Biblioteca(s): Embrapa Unidades Centrais. |
| |
Registros recuperados : 29 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|